منابع مشابه
Model-Based Shrinking for State-Based Testing
Issues found in model-based testing of state-based systems are traces produced by the system under test, sut, that are not allowed by the model used as specification. It is usually easier to determine the error behind the reported issue when there is a short trace revealing the issue. The model-based test system treats the sut as a black box. Hence the test system cannot use internal informatio...
متن کاملPhotodynamic antimicrobial chemotherapy (PACT).
Whereas the photodynamic therapy (PDT) of cancer has recently shown rapid clinical acceptance, photodynamic antimicrobial chemotherapy (PACT)--which predates the related cancer regimen--is not widely appreciated. Like PDT, PACT utilizes photosensitizers and visible or ultraviolet light in order to give a phototoxic response, normally via oxidative damage. Currently, the major use of PACT is in ...
متن کاملThe Probability Model of the Multi-valued Shrinking Generator
This paper constructs the probability model of the general multi-valued shrinking generator, which takes two-valued key stream shrinking generator and generalized shrinking generator as special cases. It discusses the probability properties of their output sequences, and gets the formulae of the coincidence of the output sequences with the original input sequences in particular. It also analyze...
متن کاملA Model of Representing Extension and Shrinking for Spatial Relations
Aiming at region connection calculus (RCC) can only roughly represent spatial topological relations, and have difficulty in representing the distance, direction and so on. Therefore, based on RCC theory, Region Extension and Shrinking Calculus are proposed, and then a formalized metrization method using region as a basic unit is introduced. Based on RESC theory, taking the advantage such as app...
متن کاملObservations of AGNs using PACT
We report our observations on 4 AGNs viz, Mkn421, Mkn501, 1ES1426+428 and ON231 belonging to a sub-class called blazars. The observations were carried out using the Pachmarhi Array of Cherenkov Telescopes and span about 6 years period from 2000 to 2005. We discuss our methods of analysis adopted to extract the gamma ray signal from cosmic ray background. We present our results on the emission o...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: PLOS ONE
سال: 2019
ISSN: 1932-6203
DOI: 10.1371/journal.pone.0223480